абстрактная спецификация

абстрактная спецификация
(описание на языке, не зависящем от конкретной реализации) abstract specification

Русско-английский словарь по вычислительной технике и программированию . 2013.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • ISO/IEC 13719-1:1998 — изд.2 XK JTC 1/SC 22 Информационные технологии. Переносимая универсальная инструментальная среда (PCTE). Часть 1. Абстрактная спецификация раздел 35.060 …   Стандарты Международной организации по стандартизации (ИСО)

  • ГОСТ Р 54136-2010: Системы промышленной автоматизации и интеграция. Руководство по применению стандартов, структура и словарь — Терминология ГОСТ Р 54136 2010: Системы промышленной автоматизации и интеграция. Руководство по применению стандартов, структура и словарь оригинал документа: 4.1 абстрактная деталь (abstract part): Деталь, которая определена только своей… …   Словарь-справочник терминов нормативно-технической документации

  • сущность — 3.16 сущность (entity): Конкретизация или абстракция, различаемая в пределах системы. Примечание Примерами сущностей являются: система, подсистема, компонент, класс, объект, интерфейс, клиент, процесс, приложение, спецификация. Источник …   Словарь-справочник терминов нормативно-технической документации

  • идентификатор — 2.18 идентификатор (identifier): Информационный объект, используемый для объявления идентичности до потенциального подтверждения соответствующим аутентификатором [18]. Источник: ГОСТ Р ИСО/ТС 22600 2 2009: Информатизация здоровья. Управлени …   Словарь-справочник терминов нормативно-технической документации

  • /МЭК 8824-1 — ГОСТ Р ИСО/МЭК 8824 1{ 2001} Информационная технология. Абстрактная синтаксическая нотация версии один (АСН.1). Часть 1. Спецификация основной нотации. ОКС: 35.100.60 КГС: П85 Виды представления информации и математическое обеспечение машин… …   Справочник ГОСТов

  • /МЭК 8824-2 — ГОСТ Р ИСО/МЭК 8824 2{ 2001} Информационная технология. Абстрактная синтаксическая нотация версии один (АСН.1). Часть 2. Спецификация информационного объекта. ОКС: 35.100.60 КГС: П85 Виды представления информации и математическое обеспечение… …   Справочник ГОСТов

  • /МЭК 8824-3 — ГОСТ Р ИСО/МЭК 8824 3{ 2002} Информационная технология. Абстрактная синтаксическая нотация версии один (АСН.1). Часть 3. Спецификация ограничения. ОКС: 35.100.70 КГС: П85 Виды представления информации и математическое обеспечение машин Действие:… …   Справочник ГОСТов

  • Формальные методы — Пример формальной спецификации с использованием Z нотации В информатике и инженерии программного обеспечения формальными методами называется группа техник, основанных на математическом аппарате для …   Википедия

  • ГОСТ Р ИСО/МЭК 19762-3-2011: Информационные технологии. Технологии автоматической идентификации и сбора данных (АИСД). Гармонизированный словарь. Часть 3. Радиочастотная идентификация (РЧИ) — Терминология ГОСТ Р ИСО/МЭК 19762 3 2011: Информационные технологии. Технологии автоматической идентификации и сбора данных (АИСД). Гармонизированный словарь. Часть 3. Радиочастотная идентификация (РЧИ) оригинал документа: 05.02.21 абстрактный… …   Словарь-справочник терминов нормативно-технической документации

  • ГОСТ Р ИСО 22745-2-2011: Системы промышленной автоматизации и их интеграция. Открытые технические словари и их применение к основным данным. Часть 2. Словарь — Терминология ГОСТ Р ИСО 22745 2 2011: Системы промышленной автоматизации и их интеграция. Открытые технические словари и их применение к основным данным. Часть 2. Словарь оригинал документа: 11.10 акроним: Сокращение, составленное из начальных… …   Словарь-справочник терминов нормативно-технической документации

  • CBC-MAC — В криптографии, CBC MAC является технологией построения аутенфикационного кода сообщения из блочного шифра. Сообщение шифруется при помощи некоторого блочного алгоритма шифрования в режиме CBC, для создания цепочки блоков с правилом  каждый… …   Википедия

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”